Theoretical computer science

Results: 9916



#Item
181to appear in TCS – www.wischik.com/lu/research/explicit-fusions.html Explicit Fusions Lucian Wischik1 and Philippa Gardner2 1 2

to appear in TCS – www.wischik.com/lu/research/explicit-fusions.html Explicit Fusions Lucian Wischik1 and Philippa Gardner2 1 2

Add to Reading List

Source URL: www.wischik.com

Language: English - Date: 2004-02-23 13:34:35
1821. Bisimulation everywhere 2. The power of coinduction 3. More bisimulations, still

1. Bisimulation everywhere 2. The power of coinduction 3. More bisimulations, still

Add to Reading List

Source URL: events.inf.ed.ac.uk

Language: English - Date: 2012-10-10 03:52:07
183Pattern Identification in Biogeography? Ganeshkumar Ganapathy1, Barbara Goodson2, Robert Jansen2 , Vijaya Ramachandran1, and Tandy Warnow1 1 2

Pattern Identification in Biogeography? Ganeshkumar Ganapathy1, Barbara Goodson2, Robert Jansen2 , Vijaya Ramachandran1, and Tandy Warnow1 1 2

Add to Reading List

Source URL: web.engr.illinois.edu

Language: English - Date: 2014-08-30 15:58:48
184Incentives and Internet Algorithms Joan Feigenbaum Yale University http://www.cs.yale.edu/~jf

Incentives and Internet Algorithms Joan Feigenbaum Yale University http://www.cs.yale.edu/~jf

Add to Reading List

Source URL: cs-www.cs.yale.edu

Language: English - Date: 2004-06-08 06:15:27
185Inducing Suffix and LCP Arrays in External Memory Timo Bingmann∗, Johannes Fischer†, and Vitaly Osipov‡ KIT, Institute of Theoretical Informatics, 76131 Karlsruhe, Germany {timo.bingmann,johannes.fischer,osipov}@ki

Inducing Suffix and LCP Arrays in External Memory Timo Bingmann∗, Johannes Fischer†, and Vitaly Osipov‡ KIT, Institute of Theoretical Informatics, 76131 Karlsruhe, Germany {timo.bingmann,johannes.fischer,osipov}@ki

Add to Reading List

Source URL: panthema.net

Language: English - Date: 2012-11-28 08:24:55
186UCL DEPARTMENT OF COMPUTER SCIENCE Research Note RN/13/23

UCL DEPARTMENT OF COMPUTER SCIENCE Research Note RN/13/23

Add to Reading List

Source URL: www.dcs.bbk.ac.uk

Language: English - Date: 2014-01-19 15:11:19
187Outline Big-­O  and  Sorting Lecture   15

Outline Big-­O  and  Sorting Lecture   15

Add to Reading List

Source URL: cs.brown.edu

Language: English - Date: 2015-10-29 14:09:05
188Minimizing maximum (weighted) flow-time on related and unrelated machines S. Anand1 Karl Bringmann2 Tobias Friedrich3 Naveen Garg1 Amit Kumar1 1

Minimizing maximum (weighted) flow-time on related and unrelated machines S. Anand1 Karl Bringmann2 Tobias Friedrich3 Naveen Garg1 Amit Kumar1 1

Add to Reading List

Source URL: people.mpi-inf.mpg.de

Language: English - Date: 2016-01-03 06:45:57
189Let tests drive or let Dijkstra derive? Presented at ALE2014 in Krakow Poland on August 21, 2014 Author: Sander Kooijmans Date: November 3, 2014 Why this document?

Let tests drive or let Dijkstra derive? Presented at ALE2014 in Krakow Poland on August 21, 2014 Author: Sander Kooijmans Date: November 3, 2014 Why this document?

Add to Reading List

Source URL: www.gogognome.nl

Language: English - Date: 2016-04-05 02:15:07
190Chapter 2 Untyped Lambda Calculus We assume the existence of a denumerable set VAR of (object) variables x0 , x1 , x2 , . . ., and use x, y, z to range over these variables. Given two variables x1 and x2 , we write x1 =

Chapter 2 Untyped Lambda Calculus We assume the existence of a denumerable set VAR of (object) variables x0 , x1 , x2 , . . ., and use x, y, z to range over these variables. Given two variables x1 and x2 , we write x1 =

Add to Reading List

Source URL: www.cs.bu.edu

Language: English - Date: 2009-12-10 13:51:51